theory of computation for gate